Adding information for the debug package
authorLeopold Palomo-Avellaneda <leo@alaxarxa.net>
Fri, 23 May 2014 11:04:25 +0000 (13:04 +0200)
committerLeopold Palomo-Avellaneda <leo@alaxarxa.net>
Fri, 23 May 2014 11:04:25 +0000 (13:04 +0200)
debian/README.Debug [new file with mode: 0644]
debian/libpcl1.7-dbg.install [new file with mode: 0644]

diff --git a/debian/README.Debug b/debian/README.Debug
new file mode 100644 (file)
index 0000000..a51a84d
--- /dev/null
@@ -0,0 +1,39 @@
+Debug packages
+======================================================================
+
+This is a package with debug symbols. The purpose of a -dbg package
+is to provide a mapping between binary addresses and source line 
+numbers/variable names, not to provide the source itself [1].
+
+The source itself is in the source package, which can be installed with
+"apt-get source $package" if you have a deb-src line in 
+/etc/apt/sources.list.  This installs it in the current directory owned
+by the current user (i.e. conveniently editable), while apt-get
+install files are normally owned and editable only by root.
+
+It's working if your debug backtraces are of the form: 
+
+#3  0x0000000000ed4188 in SGPropertyNode::set_string (this=0x7eaa480,
+     val=0x20d79a0 "Shaders/cloud-shadowfunc.frag")
+     at /home/palmer/fs_dev/git/simgear/simgear/props/props.cxx:511   
+
+(note the file name and line number) rather than
+
+#2  0x00007ffff5aef83d in g_input_stream_read ()
+    from /usr/lib/x86_64-linux-gnu/libgio-2.0.so.0
+#3  0x00007ffff669c3e5 in ?? ()
+    from /usr/lib/x86_64-linux-gnu/libgdk_pixbuf-2.0.so.0
+
+To make useful this package install the corresponding source package 
+following the instructions above explained and configure gdb [2] to 
+use it, or qtcreator [3], or whatever IDE do you use.
+
+
+Leopold Palomo-Avellaneda <leo@alaxarxa.net>
+May 2014
+
+-----
+[1] https://lists.debian.org/debian-mentors/2014/05/msg00194.html
+[2] https://sourceware.org/gdb/onlinedocs/gdb/Source-Path.html
+[3] http://qt-project.org/doc/qtcreator-2.8/creator-debugger-engines.html
+
diff --git a/debian/libpcl1.7-dbg.install b/debian/libpcl1.7-dbg.install
new file mode 100644 (file)
index 0000000..ff42a9e
--- /dev/null
@@ -0,0 +1 @@
+usr/share/doc/libpcl1.7-dbg/*